退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:BL代数的量词消除和其他模型理论性质
Cortonesi, Tommaso; Marchioni, Enrico; Montagna, Franco;
机译:量词消除的模型理论标准及其在几何中的应用
机译:反对对所有事物进行量化的模型理论争论
机译:在基于k归纳的框架中通过量词消除生成属性导向的潜在不变量
机译:从基于反模型的量词实例化到SMT中的量词消除
机译:为东非的疟疾控制和消灭计划量化人口流动。
机译:中间量词和 MORE-THAN量词的性质
机译:广义量词在逻辑中的模型理论强迫
机译:消除绿藻和红藻的组合物具有溶解氧增加,消除营养源和改善底部性能的功效,以及使用相同方法消除绿藻和红藻的方法
机译:量化无机材料的结构性质和预测块状性质的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。